Computationally optimized ECoG stimulation with local safety constraints
نویسندگان
چکیده
منابع مشابه
Computationally optimized ECoG stimulation with local safety constraints.
Direct stimulation of the cortical surface is used clinically for cortical mapping and modulation of local activity. Future applications of cortical modulation and brain-computer interfaces may also use cortical stimulation methods. One common method to deliver current is through electrocorticography (ECoG) stimulation in which a dense array of electrodes are placed subdurally or epidurally to ...
متن کاملOptimized Sectorization of Airspace with Constraints
In this paper we consider the Optimized Airspace Sectorization Problem (ASP) with constraints in which a given airspace is to be partitioned into a number of sectors. The objective of ASP is to minimize the coordination workload between adjacent sectors. We proposed a constraint programming approach to optimize the sectorization that shall satisfy all specific constraints e.g. the controllers’ ...
متن کاملType Constraints Optimized
ConTroll is a grammar development system which supports the implementation of current constraint-based theories. It uses strongly typed feature structures as its principal data structure and ooers deenite relations, universal constraints, and lexical rules to express grammar constraints. The aspects of ConTroll of relevance to the development of large grammars are discussed in detail. The syste...
متن کاملOptimized multi-electrode stimulation
Transcranial direct current stimulation (tDCS) provides a non-invasive tool to elicit neuromodulation by delivering current through electrodes placed on the scalp. The present clinical paradigm uses two relatively large electrodes to inject current through the head resulting in electric fields that are broadly distributed over large regions of the brain. In this paper, we present a method that ...
متن کاملTemporal Logics with Local Constraints ∗
Recent decidability results on the satisfiability problem for temporal logics, in particular LTL, CTL∗ and ECTL∗, with constraints over external structures like the integers with the order or infinite trees are surveyed in this paper. 1998 ACM Subject Classification F.4.1 Mathematical Logic
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: NeuroImage
سال: 2018
ISSN: 1053-8119
DOI: 10.1016/j.neuroimage.2018.01.088